1

First Order Properties of Relations with the Monotonic Closure Property

Year:
1982
Language:
english
File:
PDF, 346 KB
english, 1982
2

The Completeness of Presupposition-Free Tense Logic

Year:
1979
Language:
english
File:
PDF, 1.16 MB
english, 1979
3

“Conservative” Kripke closures

Year:
1984
Language:
english
File:
PDF, 537 KB
english, 1984
4

The Lazy Logic of Partial Terms

Year:
2002
Language:
english
File:
PDF, 1.30 MB
english, 2002
6

Foundations: Logic, Language, and Mathematics, Part I || "Conservative" Kripke Closures

Year:
1984
Language:
english
File:
PDF, 1.05 MB
english, 1984
8

Reasonable breadth-biased

Year:
1981
Language:
english
File:
PDF, 165 KB
english, 1981
9

The lazy logic of partial terms

Year:
2002
Language:
english
File:
PDF, 873 KB
english, 2002
10

In Memoriam: Hugues Leblanc March 19, 1924-September 10, 1999

Year:
2000
Language:
english
File:
PDF, 107 KB
english, 2000
12

Proto-Semantics for Positive Free Logicby G. Aldo Antonelli

Year:
2001
Language:
english
File:
PDF, 308 KB
english, 2001
14

Language extensibility in extended Fortran

Year:
1977
Language:
english
File:
PDF, 99 KB
english, 1977
15

An extended joint consistency theorem for a family of free modal logics with equality

Year:
1984
Language:
english
File:
PDF, 778 KB
english, 1984